definibilidad

= definability.

Nota: Que puede ser definido.

Ex. Fixed point equations provide a generalisation of explicit definability, which correctly captures the relativized context.

* * *

= definability.

Nota: Que puede ser definido.

Ex: Fixed point equations provide a generalisation of explicit definability, which correctly captures the relativized context.